1

Means of describing computer hardware and software

Year:
1974
Language:
english
File:
PDF, 491 KB
english, 1974
2

Completeness conditions for finite automata

Year:
1962
Language:
english
File:
PDF, 740 KB
english, 1962
3

Automatic expansions of representations of free semigroups

Year:
1963
Language:
english
File:
PDF, 592 KB
english, 1963
7

Syntax and semantics of formal languages

Year:
1968
Language:
english
File:
PDF, 946 KB
english, 1968
19

N. Wiener's theory of the activity of excitable media

Year:
1972
Language:
english
File:
PDF, 1.06 MB
english, 1972
20

Optimization of control processor strategy

Year:
1972
Language:
english
File:
PDF, 313 KB
english, 1972
23

Simulation in the system “PROEKT”

Year:
1973
Language:
english
File:
PDF, 1.15 MB
english, 1973
24

Method of designing fourth and later generation computers

Year:
1973
Language:
english
File:
PDF, 987 KB
english, 1973
27

Theoretical principles for designing discrete systems

Year:
1977
Language:
english
File:
PDF, 1.45 MB
english, 1977
29

A generalization of the concept of a context-free grammar

Year:
1972
Language:
english
File:
PDF, 278 KB
english, 1972
31

Functional equivalence of discrete transformations. III

Year:
1972
Language:
english
File:
PDF, 350 KB
english, 1972
34

One approach to program analysis

Year:
1979
Language:
english
File:
PDF, 799 KB
english, 1979
35

Use of the MIR-2 computer for program analysis

Year:
1974
Language:
english
File:
PDF, 774 KB
english, 1974
37

Macropipelining of computations

Year:
1986
Language:
english
File:
PDF, 942 KB
english, 1986
39

Iterative methods of program analysis

Year:
1989
Language:
english
File:
PDF, 1.43 MB
english, 1989
41

Accelerating iterations of monotonic operators

Year:
1976
Language:
english
File:
PDF, 611 KB
english, 1976
44

Functional equivalence of discrete processors. II

Year:
1970
Language:
english
File:
PDF, 1.32 MB
english, 1970
46

Constructive mathematical descriptions of subject domains

Year:
1988
Language:
english
File:
PDF, 1.24 MB
english, 1988
47

Events representable in push-down automata

Year:
1969
Language:
english
File:
PDF, 563 KB
english, 1969
48

Languages for automated computer-design systems (PROEKT)

Year:
1970
Language:
english
File:
PDF, 1.21 MB
english, 1970
49

Functional equivalence of discrete processors. I

Year:
1969
Language:
english
File:
PDF, 1.22 MB
english, 1969
50

The equivalence of automata with a terminal state. I

Year:
1966
Language:
english
File:
PDF, 542 KB
english, 1966